Applications Based on Generator of Test Cases

Cílem této bakalářské práce je vytvořit přehled aktuálního stavu nástrojů, které umožňují automaticky generovat testovací případy. Dále na příkladu zvoleného nástroje ukázat způsob práce s ním a jeho schopnosti v generaci spustitelných testu. Pro následující práci byl vybrán nástroj UPPAAL, který umožňuje vytvořit model zvoleného systému pomocí časovaných automatů, ověřit a simulovat jeho běh a následně vytvořit testovací případ pro daný systém. Ve výsledku nástroj vygeneruje cestu průchodu systémem, kterou je možné uložit ve formě spustitelného testovacího případu a to v libovolném programovacím jazyce. Pro testování byly zvoleny tři různé systémy: systém vypínače světla, implementovaný v jazyce Java; 2-bitová násobička, jejíž chování je popsané pomocí jazyka Verilog; a systém zjednodušeného výtahu, který je představen v jazyce C. Ve výsledku byly získány spustitelné testovací případy pro zvolené systémy, spolu s jejich vlastnostmi jako pokrytí systému, počet kroků pro dosažení cílů a kvalita vygenerovaných cest.The aim of this bachelor's thesis is to create an overview of the current state of tools that allow automatic generation of test cases and select one tool to show how it works and its ability to generate executable tests. The UPPAAL program was chosen for the following work. Tool allows to create a model of the selected system using timed automata, verify and simulate its operation and create a test case for the system. In the results, the tool generates a path through the system, which can be saved in the form of executable test cases in any programming language. Three different systems were chosen for testing: a light switch system implemented in Java; 2-bit multiplier, which behavior is described by Verilog language; and a simplified elevator system, which working process is introduced in C language. As a result, executable test cases were obtained for selected systems along with their features such as system coverage, number of steps to achieve goals, and quality of generated paths.